E. J. Lemmon, D A. Scott; "An introduction to modal logic: the Lemmon notes"
E. J. Lemmon
,
Dana. A. Scott
https://philpapers.org/rec/LEMAIT-2